Mathematical practice, crowdsourcing, and social machines

The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs too long and complicated for humans to comprehend. Mathematical practice is an emerging interdisciplinary field which draws on philosophy and social science to understand how mathematics is produced. Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical practice - for example the community question answering system {\it mathoverflow} contains around 40,000 mathematical conversations, and {\it polymath} collaborations provide transcripts of the process of discovering proofs. Our preliminary investigations have demonstrated the importance of "soft" aspects such as analogy and creativity, alongside deduction and proof, in the production of mathematics, and have given us new ways to think about the roles of people and machines in creating new mathematical knowledge. We discuss further investigation of these resources and what it might reveal. Crowdsourced mathematical activity is an example of a "social machine", a new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity, and the subject of major international research endeavours. We outline a future research agenda for mathematics social machines, a combination of people, computers, and mathematical archives to create and apply mathematics, with the potential to change the way people do mathematics, and to transform the reach, pace, and impact of mathematics research.Comment: To appear, Springer LNCS, Proceedings of Conferences on Intelligent Computer Mathematics, CICM 2013, July 2013 Bath, U

Preference for novel faces in male infant monkeys predicts cerebrospinal fluid oxytocin concentrations later in life

The ability to recognize individuals is a critical skill acquired early in life for group living species. In primates, individual recognition occurs predominantly through face discrimination. Despite the essential adaptive value of this ability, robust individual differences in conspecific face recognition exist, yet its associated biology remains unknown. Although pharmacological administration of oxytocin has implicated this neuropeptide in face perception and social memory, no prior research has tested the relationship between individual differences in face recognition and endogenous oxytocin concentrations. Here we show in a male rhesus monkey cohort (N = 60) that infant performance in a task used to determine face recognition ability (specifically, the ability of animals to show a preference for a novel face) robustly predicts cerebrospinal fluid, but not blood, oxytocin concentrations up to five years after behavioural assessment. These results argue that central oxytocin biology may be related to individual face perceptual abilities necessary for group living, and that these differences are stable traits

Drivers of population structure of the bottlenose dolphin (Tursiops truncatus) in the Eastern Mediterranean Sea

The drivers of population differentiation in oceanic high dispersal organisms, have been crucial for research in evolutionary biology. Adaptation to different environments is commonly invoked as a driver of differentiation in the oceans, in alternative to geographic isolation. In this study, we investigate the population structure and phylogeography of the bottlenose dolphin (Tursiops truncatus) in the Mediterranean Sea, using microsatellite loci and the entire mtDNA control region. By further comparing the Mediterranean populations with the well described Atlantic populations, we addressed the following hypotheses: (1) bottlenose dolphins show population structure within the environmentally complex Eastern Mediterranean Sea; (2) population structure was gained locally or otherwise results from chance distribution of preexisting genetic structure; (3) strong demographic variations within the Mediterranean basin have affected genetic variation sufficiently to bias detected patterns of population structure. Our results suggest that bottlenose dolphin exhibits population structures that correspond well to the main Mediterranean oceanographic basins. Furthermore, we found evidence for fine scale population division within the Adriatic and the Levantine seas. We further describe for the first time, a distinction between populations inhabiting pelagic and coastal regions within the Mediterranean. Phylogeographic analysis suggests that current genetic structure, results mostly from stochastic distribution of Atlantic genetic variation, during a recent postglacial expansion. Comparison with Atlantic mtDNA haplotypes, further suggest the existence of a metapopulation across North Atlantic/Mediterranean, with pelagic regions acting as source for coastal environments

The PtdIns 3-Kinase/Akt Pathway Regulates Macrophage-Mediated ADCC against B Cell Lymphoma

Macrophages are important effectors in the clearance of antibody-coated tumor cells. However, the signaling pathways that regulate macrophage-induced ADCC are poorly defined. To understand the regulation of macrophage-mediated ADCC, we used human B cell lymphoma coated with Rituximab as the tumor target and murine macrophages primed with IFNγ as the effectors. Our data demonstrate that the PtdIns 3-kinase/Akt pathway is activated during macrophage-induced ADCC and that the inhibition of PtdIns 3-kinase results in the inhibition of macrophage-mediated cytotoxicity. Interestingly, downstream of PtdIns 3-kinase, expression of constitutively active Akt (Myr-Akt) in macrophages significantly enhanced their ability to mediate ADCC. Further analysis revealed that in this model, macrophage-mediated ADCC is dependent upon the release of nitric oxide (NO). However, the PtdIns 3-kinase/Akt pathway does not appear to regulate NO production. An examination of the role of the PtdIns 3-kinase/Akt pathway in regulating conjugate formation indicated that macrophages treated with an inhibitor of PtdIns 3-kinase fail to polarize the cytoskeleton at the synapse and show a significant reduction in the number of conjugates formed with tumor targets. Further, inhibition of PtdIns 3-kinase also reduced macrophage spreading on Rituximab-coated surfaces. On the other hand, Myr-Akt expressing macrophages displayed a significantly greater ability to form conjugates with tumor cells. Taken together, these findings illustrate that the PtdIns 3-kinase/Akt pathway plays a critical role in macrophage ADCC through its influence on conjugate formation between macrophages and antibody-coated tumor cells

A gestural repertoire of 1-2year old human children : in search of the ape gestures

This project was made possible with the generous financial help of the Baverstock Bequest to the Psychology and Neuroscience Department at the University of St Andrews.When we compare human gestures to those of other apes, it looks at first like there is nothing much to compare at all. In adult humans, gestures are thought to be a window into the thought processes accompanying language, and sign languages are equal to spoken language with all of its features. While some research firmly emphasises the difference between human gestures and those of other apes, the question about whether there are any commonalities has rarely been investigated, and is mostly confined to pointing gestures. The gestural repertoires of nonhuman ape species have been carefully studied and described with regard to their form and function – but similar approaches are much rarer in the study of human gestures. This paper applies the methodology commonly used in the study of nonhuman ape gestures to the gestural communication of human children in their second year of life. We recorded (n=13) children’s gestures in a natural setting with peers and caregivers in Germany and Uganda. Children employed 52 distinct gestures, 46 (89%) of which are present in the chimpanzee repertoire. Like chimpanzees, they used them both singly, and in sequences; and employed individual gestures flexibly towards different goals.Publisher PDFPeer reviewe